-
sité dédié à la méthode b. la méthode b évoque traditionnellement l'ensemble comprenant : le langage b, le raffinement, la preuve, et les outils associ ...
logiciel prouvé  methode-b  methode formelle  methode formelle b  modèle abstrait  système prouvé 
www.methode-b.com - 2009-02-11
-
Le Projet Dof1 est un système de Commande d'Ouverture et de Fermeture du Métro Parisien Ligne 1. Développé par ClearSy, équipera 26 stations et 52 trains pour la ...
automatisation ligne 1  automatisation métro  dof1  dof1sil4  exploitation des trains  métro parisien  portes palieres  quai métro  système fiable  système sûr 
www.dof1.eu - 2009-03-09
-
Développement de logiciels avec des garanties étendues, utilisation de la méthode formelle B dans les phases de spécifications. Qualification et Sûreté
système ferroviaire 
www.clearsy.com - 2009-02-07
|
preuve
langage b
système sécuritaire
internet
art de vivre
raffinement
informatique
goût
cuisine
méthode b
droit
|
|